Логика

        (от греч. logos), в античном мире зачастую отождествлялась с диалектикой. Проблемами категорий Л. занимался Парменид, с помощью дизъюнктивного силлогизма стремившийся доказать тождество мыслимого бытия и мысли. Опираясь на это положение и принцип исключенного третьего, он разработал учение, направл. на доказательство несостоятельности с формально-логич. точки зрения диалектич. противоречия — внутр. источника всякого движения, в т. ч. движения во времени и пространстве. В его понимании кажущееся изменение бытия есть всего лишь субъективная видимость. Его ученик Зенон Элейский вскрыл имеющиеся противоречия в понятиях движения, бесконечности, наименьшей величины с помощью своих «Апорий», способами решения которых по сей день занимаются математич. теории. Сокраг и Платон с их диалектич. Методом раскрытия понятий, а также Демокрит внесли значительный вклад в дальнейшее развитие Л. Но подлинным основателем науки Л. считается Аристотель. Поставив перед собой цель опровергнуть заведомо ложные положения софистов и их тезис об отсутствии объективной истины, он заложил основы науки о мышлении, позволяющей отделять истинные аргументы от ложных. Важнейшими сочинениями в своде логич. трактатов «Органон» считаются «Аналитики». Аристотель отделил логич. формы речи от ее содержания и первым начал оперировать таким понятием, как переменная величина. При этом он не отвергал связь между Л. и действительностью, поскольку его букв, символы отражали возможное реальное положение вещей. Разработав систему силлогистики, предназнач. для выявления объективной связи между понятиями и суждениями, он заложил основы учения о логич. доказательстве. Благодаря его системе оказалось возможным из 2 посылок (Ргаmissen) получить истинный вывод (Conclusio).

        Если всякое А есть В;

        И всякое В есть С;

        То всякое А есть С.

        Аристотель первым сформулировал 3 логич. закона: закон тождества, закон противоречия и закон исключ. третьего. Вслед за Аристотелем разработкой проблем Л. занялись стоики. Аристотелевская силлогистика представляла собой объективные правила, которые независимы от частных конкретных объектов. Например:

        Все люди смертны;

        Сократ — человек;

        Сократ — смертен.

        В Л. стоиков основное внимание уделялось изучению простых и сложных высказываний:

        (Если идет дождь, то дорога мокрая;

        Идет дождь;

        Следовательно, дорога мокрая.)

        Стоики установили виды связи суждений, интерпретируемых совр. понятиями конъюнкции и дизъюнкции. Они уменьшили число аристотелевских категорий до 4. Впоследствии разработкой учения о логич. доказательствах, и прежде всего аристотелевской силлогистикой, занимались Боэций и схоласты, которые приспособили ее к своим целям.